『All (∞, 1)-toposes have strict univalent universes』